#include "Variable.h"
#include "ContainerVariable.h"
#include "ArrayVariable.h"
#include "IntegerVariable.h"
#include "ConstantInteger.h"
#include "UnknownConstant.h"
#include "PhiNodeVariable.h"
#include "PointerVariable.h"
#include "StructVariable.h"
#include "ContainerField.h"
#include "ContainerAccess.h"
#include "MallocVariable.h"
